81. Introduction to algorithms /
پدیدآورنده : Thomas H. Cormen [and others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms,Computer programming,Bilgasayar programlama,Bilgisayar algoritmaları
رده :
QA76
.
6
.
C662
2009
82. Knowledge engineering and knowledge management :
پدیدآورنده : Catherine Faron Zucker, Chiara Ghidini, Amedeo Napoli, Yannick Toussaint (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Knowledge acquisition (Expert systems), Congresses.,Semantic Web, Congresses.,Artificial intelligence.,Computer networking & communications.,Computer science.,Computers-- Computer Science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Knowledge acquisition (Expert systems),Semantic Web.
رده :
QA76
.
76
.
E95
83. LATIN 2018 :
پدیدآورنده : Michael A. Bender, Martín Farach-Colton, Miguel A. Mosteiro (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer networking & communications.,Computer science.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Graphics programming.,Mathematical theory of computation.
رده :
QA75
.
5
84. Language and Automata Theory and Applications :
پدیدآورنده : edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
85. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
86. Learning and intelligent optimization :
پدیدآورنده : Roberto Battiti, Mauro Brunato, Ilias Kotsireas, Panos M. Pardalos (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Machine learning, Congresses.,Machine learning.
رده :
Q325
.
5
87. Logics of Programs :
پدیدآورنده : by E. Clarke, D. Kozen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
88. Mathematical Foundations of Computer Science 1994 :
پدیدآورنده : edited by Igor Prívara, Branislav Rovan, Peter Ruzička.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computers.,Software engineering.
رده :
QA76
.
9
.
M35
E358
1994
89. Mathematical Foundations of Computer Science 1989 :
پدیدآورنده : edited by Antoni Kreczmar, Grazyna Mirkowska.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
M35
E358
1989
90. Mathematical and Engineering Methods in Computer Science :
پدیدآورنده : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012 ; Antonín Kučera [und weitere] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME,SPEZIELLE PROGRAMMIERMETHODEN,THEORETISCHE INFORMATIK
رده :
QA75
.
5
T456
2013
91. Mathematical foundations of computer science 2003 :
پدیدآورنده : Krzysztof Diks and Wojciech Rytter (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.
92. Mathematical principles of the Internet.
پدیدآورنده : Nirdosh Bhatnagar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Internet-- Mathematical models.,Internetworking (Telecommunication)-- Mathematics.,Computer science-- Mathematics.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Information Theory,COMPUTERS / Machine Theory.,COMPUTERS / Reference.,Internet-- Mathematical models.,MATHEMATICS / General,MATHEMATICS / Number Systems
رده :
TK5102
.
83
93. Minimax and Applications
پدیدآورنده : edited by Ding-Zhu Du, Panos M. Pardalos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Computational complexity.,Computer science-- Mathematics.,Mathematics.
94. Mobile internet security :
پدیدآورنده : Ilsun You, Hsing-Chung Chen, Vishal Sharma, Igor Kotenko (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Internet-- Security measures, Congresses.,Mobile communication systems-- Security measures, Congresses.,Internet-- Security measures.
رده :
TK5105
.
875
.
I57
95. Modeling decisions for artificial intelligence :
پدیدآورنده : Vicenç Torra [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence -- Mathematical models -- Congresses.,Artificial intelligence -- Mathematical models.,Informatique.
96. Models, algorithms, and technologies for network analysis :
پدیدآورنده : Boris I. Goldengorin, Valery A. Kalyagin, Panos M. Pardalos, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematical optimization, Congresses,System analysis-- Data processing, Congresses,System analysis-- Mathematical models, Congresses
رده :
QA402
.
I58
2012
97. Modern Cryptography, Probabilistic Proofs and Pseudorandomness
پدیدآورنده : by Oded Goldreich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorics.,Computer science.,Data encryption (Computer science).,Distribution (Probability theory).,Information theory.,Mathematics.
98. Multi-Threaded Object-Oriented MPI-Based Message Passing Interface
پدیدآورنده : by Jean-Marc Adamo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Information theory.
99. Multi-objective optimization in computer networks using metaheuristics /
پدیدآورنده : Yezid Donoso, Ramon Fabregat.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks.,Mathematical optimization.,Computer networks.,COMPUTERS-- Data Transmission Systems-- General.,COMPUTERS-- Networking-- Vendor Specific.,Mathematical optimization.
رده :
TK5105
.
5
.
D665
2007
100. Natural language processing with TensorFlow :
پدیدآورنده : Thushan Ganegedara.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Machine learning.,Python (Computer program language),Artificial intelligence.,Artificial intelligence.,COMPUTERS-- General.,Machine learning.,Neural networks & fuzzy systems.,Programming & scripting languages: general.,Python (Computer program language)
رده :
Q325
.
5
